Important Math Proof: The Set of Equivalence Classes Partition a Set